منابع مشابه
A transactional object calculus
A transaction defines a locus of computation that satisfies important concurrency and failure properties. These so-called ACID properties provide strong serialization guarantees that allow us to reason about concurrent and distributed programs in terms of higher-level units of computation (e.g., transactions) rather than lower-level data structures (e.g., mutual-exclusion locks). This paper pre...
متن کاملA distributed object calculus
Distributed object-oriented languages are becoming increasingly accepted as network programming languages. The success of Java, and the Java security model in particular, has made the study of type systems for OO languages critical to the success of distributed programming. Abadi and Cardelli [1] have provided an excellent framework for the study of object-based OO languages in the object calcu...
متن کاملTROM: A Transactional Replicated Object Memory
This paper presents transactional replication, a novel approach for replicating distributed objects. It uses non-blocking synchronisation techniques to realise software transactional memory for ensuring replica consistency. Unlike traditional passive object replication, which executes requests on a single primary, our approach allows using an arbitrary replica to execute a client request. Fine-...
متن کاملObject Caching in a Transactional, Object-Relational CORBA Environment
The OMG's CORBA and CORBA services like the OTS are a technology standard that enable the building of transactional systems running in distributed and heterogeneous environments. In large-scale CORBA systems that integrate relational databases, however, careful attention must be paid to network traffic and the number of I/O-operations (like database access) performed, as these can degrade syste...
متن کاملTowards a Reenement Calculus for Object Systems towards a Reenement Calculus for Object Systems
the governments of the People's Republic of China and Portugal through a contribution to the UNU Endownment Fund. As well as providing two-thirds of the endownment fund, the Macau authorities also supply UNU/IIST with its ooce premises and furniture and subsidise fellow accommodation. The mission of UNU/IIST is to assist developing countries in the application and development of software techno...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2005
ISSN: 0167-6423
DOI: 10.1016/j.scico.2005.03.001